Analysis of hybrid systems using HySAT

In this paper we describe the complete workflow of analyzing the dynamic behavior of safety-critical embedded systems with HySAT. HySAT is an arithmetic constraint solver with a tightly integrated bounded model checker for hybrid discrete-continuous systems which — in contrast to many other solvers — is not confined to linear arithmetic, but can also deal with nonlinear constraints involving transcendental functions. Based on a controller for train separation implementing a “moving block ” interlocking scheme in the forthcoming European Train Control System Level 3, we exemplify the usage of the tool over the whole cycle from encoding a hybrid system to interpreting the results

Photon-rejection Power of the Light Dark Matter eXperiment in an 8 GeV Beam

The Light Dark Matter eXperiment (LDMX) is an electron-beam fixed-target experiment designed to achieve comprehensive model independent sensitivity to dark matter particles in the sub-GeV mass region. An upgrade to the LCLS-II accelerator will increase the beam energy available to LDMX from 4 to 8 GeV. Using detailed GEANT4-based simulations, we investigate the effect of the increased beam energy on the capabilities to separate signal and background, and demonstrate that the veto methodology developed for 4 GeV successfully rejects photon-induced backgrounds for at least $2\times10^{14}$ electrons on target at 8 GeV.Comment: 28 pages, 20 figures; corrected author lis

Floral and insect-induced volatile formation in Arabidopsis lyrata ssp. petraea, a perennial, outcrossing relative of A. thaliana

Volatile organic compounds have been reported to serve some important roles in plant communication with other organisms, but little is known about the biological functions of most of these substances. To gain insight into this problem, we have compared differences in floral and vegetative volatiles between two closely related plant species with different life histories. The self-pollinating annual, Arabidopsis thaliana, and its relative, the outcrossing perennial, Arabidopsis lyrata, have markedly divergent life cycles and breeding systems. We show that these differences are in part reflected in the formation of distinct volatile mixtures in flowers and foliage. Volatiles emitted from flowers of a German A. lyrata ssp. petraea population are dominated by benzenoid compounds in contrast to the previously described sesquiterpene-dominated emissions of A. thaliana flowers. Flowers of A. lyrata ssp. petraea release benzenoid volatiles in a diurnal rhythm with highest emission rates at midday coinciding with observed visitations of pollinating insects. Insect feeding on leaves of A. lyrata ssp. petraea causes a variable release of the volatiles methyl salicylate, C11- and C16-homoterpenes, nerolidol, plus the sesquiterpene (E)-β-caryophyllene, which in A. thaliana is emitted exclusively from flowers. An insect-induced gene (AlCarS) with high sequence similarity to the florally expressed (E)-β-caryophyllene synthase (AtTPS21) from A. thaliana was identified from individuals of a German A. lyrata ssp. petraea population. Recombinant AlCarS converts the sesquiterpene precursor, farnesyl diphosphate, into (E)-β-caryophyllene with α-humulene and α-copaene as minor products indicating its close functional relationship to the A. thaliana AtTPS21. Differential regulation of these genes in flowers and foliage is consistent with the different functions of volatiles in the two Arabidopsis species

The ABC130 barrel module prototyping programme for the ATLAS strip tracker

For the Phase-II Upgrade of the ATLAS Detector, its Inner Detector, consisting of silicon pixel, silicon strip and transition radiation sub-detectors, will be replaced with an all new 100 % silicon tracker, composed of a pixel tracker at inner radii and a strip tracker at outer radii. The future ATLAS strip tracker will include 11,000 silicon sensor modules in the central region (barrel) and 7,000 modules in the forward region (end-caps), which are foreseen to be constructed over a period of 3.5 years. The construction of each module consists of a series of assembly and quality control steps, which were engineered to be identical for all production sites. In order to develop the tooling and procedures for assembly and testing of these modules, two series of major prototyping programs were conducted: an early program using readout chips designed using a 250 nm fabrication process (ABCN-25) and a subsequent program using a follow-up chip set made using 130 nm processing (ABC130 and HCC130 chips). This second generation of readout chips was used for an extensive prototyping program that produced around 100 barrel-type modules and contributed significantly to the development of the final module layout. This paper gives an overview of the components used in ABC130 barrel modules, their assembly procedure and findings resulting from their tests.Comment: 82 pages, 66 figure

Search for dark matter produced in association with bottom or top quarks in √s = 13 TeV pp collisions with the ATLAS detector

A search for weakly interacting massive particle dark matter produced in association with bottom or top quarks is presented. Final states containing third-generation quarks and miss- ing transverse momentum are considered. The analysis uses 36.1 fb−1 of proton–proton collision data recorded by the ATLAS experiment at √s = 13 TeV in 2015 and 2016. No significant excess of events above the estimated backgrounds is observed. The results are in- terpreted in the framework of simplified models of spin-0 dark-matter mediators. For colour- neutral spin-0 mediators produced in association with top quarks and decaying into a pair of dark-matter particles, mediator masses below 50 GeV are excluded assuming a dark-matter candidate mass of 1 GeV and unitary couplings. For scalar and pseudoscalar mediators produced in association with bottom quarks, the search sets limits on the production cross- section of 300 times the predicted rate for mediators with masses between 10 and 50 GeV and assuming a dark-matter mass of 1 GeV and unitary coupling. Constraints on colour- charged scalar simplified models are also presented. Assuming a dark-matter particle mass of 35 GeV, mediator particles with mass below 1.1 TeV are excluded for couplings yielding a dark-matter relic density consistent with measurements

Model-independent search for the presence of new physics in events including H → γγ with s \sqrt{s} = 13 TeV pp data recorded by the ATLAS detector at the LHC

Abstract A model-independent search for new physics leading to final states containing a Higgs boson, with a mass of 125.09 GeV, decaying to a pair of photons is performed with 139 fb−1 of s $$\sqrt{s}$$ = 13 TeV pp collision data recorded by the ATLAS detector at the Large Hadron Collider at CERN. This search examines 22 final states categorized by the objects that are produced in association with the Higgs boson. These objects include isolated electrons or muons, hadronically decaying τ-leptons, additional photons, missing transverse momentum, and hadronic jets, as well as jets that are tagged as containing a b-hadron. No significant excesses above Standard Model expectations are observed and limits on the production cross section at 95% confidence level are set. Detector efficiencies are reported for all 22 signal regions, which can be used to convert detector-level cross-section limits reported in this paper to particle-level cross-section constraints